| 翻訳と辞書 |
| Benjamin C. Pierce ： ウィキペディア英語版 |
Benjamin C. Pierce
Benjamin Crawford Pierce is an American professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon University in 1991. His research includes work on programming languages, static type systems, distributed programming, mobile agents, and process calculi.
As part of his research, Pierce has led development on several open-source software projects, including the Unison file synchronization utility.
==Books==
He is the author of one book on type systems, ''Types and Programming Languages'' ISBN 0-262-16209-1. He has also edited a collection of articles to create a second volume ''Advanced Topics in Types and Programming Languages'' ISBN 0-262-16228-8. Based on the notes he collected while learning category theory during his PhD, he also published an introductory book on this topic—''Basic Category Theory for Computer Scientists'', ISBN 0-262-66071-7.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Benjamin C. Pierce」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|